Overdubbing a messed up line or an especially awful note is fine by me, as long as it is not overdone.

And autotune is NOT a reflection of how it could/should've been on the night, and should be banned from all live productions. Same with backing instruments that were never there in the first place.