According to the great PaulErdos, who himself left in 1996, a mathematician who passes away has "left"; a mathematician who stops practicing mathematics (but remains otherwise capable) has "died".