The Free On-line Dictionary of Computing (19 January 2023):

closed term

    A term with no free variables.

   (1994-12-16)