n. (Logic) an expression that contains no free occurrence of any variable, so that all its variables are bound by quantifiers. Compare open sentence.