Wiktionary
closed formula
n. (context logic English) A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.