The Free On-line Dictionary of Computing (30 December 2018):

complete inference system

    An inference system A is complete with respect to
   another system B if A can reach every conclusion which is true
   in B.  The dual to completeness is soundness.

   (1998-07-05)