I would still tip your waiter for the full 7day cruise. If you choose to eat elsewhere he doesnt get a chance to fill your empty spot at his table. Which results in a loss of income to him. If he gave you good service I would tip him appropriately for the full seven day cruise. (IMHO)