It's a matter of manners at the piano: Last note of the piece have just been played, then should the hands be withdrawn immediately, since the pedal is acting and prolonging the sound, or should they be held pressing the keys until all sound has extinguished?