Polynomial Completeness in Algebraic Systems