closed term

closed term

(theory)A term with no free variables.