All tagged infinite tree