End credits credit actors who played characters who died in the movie as "was" and characters still alive once the movie's over as "is".