closed term

A term with no free variables.