Very much. They weren't previously included on Celebrity or Royal either, but they changed that about a decade or so ago.
Still other mainstream cruiselines here don't include tips so you still pay them extra onboard such as NCL, Cunard and some others.