Por si lo necesitas otra vez puedes abrir un terminal y escribir "ps -ef | grep -i safari" (si estas navegando con safari, claro, cambialo al gusto si no es así) y te saldrá una lista de los procesos abiertos que contengan la palabra "safari". Ahí buscas el pid (número a la izquierda de la lista) del proceso que quieres terminar y escribes "kill -9 pid" (sustituyendo pid por el número apuntado antes, claro).
Saludos!!