MPI_Finalized
int MPI_Finalized(int *);
Returns true if MPI_FINALIZE has completed.