A state in an alternating Turing machine from which the machine accepts only if all possible moves lead to acceptance.