On the wiki, a compliment section always talks about the naval personnel count unless specified elsewhere. So, a Marathon would have 1000 crew. Marines would probably be about a company sized on a Marathon due to the type of ship it is, so about 130-250.