You're right in the sense that there'll always be a few hundred interested people mining Bitcoin for fun, but that's not very useful information. "Actually dead" and "effectively dead" might as well be synonyms in this case.