Complexity of weak acceptance conditions in tree automata