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

total function

    A function which is defined for all arguments
   of the appropriate type.  The opposite is a partial
   function.

   (1997-01-10)