I always got the impression that it was more of an colloquialism as opposed to an official label.
That’s what it should’ve been, but it always was something of an official label. There’ve been self-described dark Jedi, and most sources capitalize the “D” in “dark”.
I prefer “fallen Jedi” as a term for Jedi who went bad.