In model theory, a branch of mathematical logic, the Łoś–Vaught test is a criterion for a theory to be complete, unable to be augmented without becoming inconsistent. For theories in classical logic, this means that for every sentence, the theory contains either the sentence or its negation but not both.
Łoś, Jerzy (1954), "On the categoricity in power of elementary deductive systems and some related problems", Colloquium Mathematicum, 3: 58–62, MR0061561.