quando si decide che per qualche ragione l'utente deve uscire dallo script si apre la porta e lo si spinge fuori.... come dire che e' obbligo mettere exit.

Ti ho suggerito empty() perche' ti trova anche gli array con indice settato ma vuoti, senza contenuto, mentre isset() no.

per essere preciso con isset dovresti fare anche un controllo sul contenuto ... che andrebbe sempre fatto comunque.

Comunque sia... sempre exit dopo un redirect.... appunto perche' non si sa mai ...