closed formula

Noun

 * 1)  A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

Synonyms

 * ground formula