I do not believe in killing a character off just because their player is not behaving well or in accordance. A character should only die because of their error or the one acting on behalf of them. They are more useful "off screen" anyway, having been essentially a non-player character otherwise, canonically. A protagonist or antagonist, but not nearly as important as they might have seemed.

Killing them just comes across as blunt and hardly elegant.