All tagged trees