Siga el patrón Publicar/Redireccionar/Obtener.
Lecturas útiles:
Lo más simple que puede hacer también es poner una condición en header.php (o un archivo similar que se comparte):
session_start(); // on top of the scrit
................
...............
if (! isset($_SESSION['yourKey'])){
header('LOCATION: notLoggedPage.php');
exit;
}
session_start()
al comienzo de su secuencia de comandos siempre que tenga funciones relacionadas con la sesión en su secuencia de comandos.