On equational completeness theorems