Convince means the verifier can prove to itself what the provers are telling it in polynomial time, without trusting the provers.