If all processes terminated, it cannot be a deadlock