Idempotent Completion of Triangulated Categories

We show that the idempotent completion of a triangulated category has a natural structure of a triangulated category. The idempotent completion of the bounded derived category of an exact category gives the derived category of the idempotent completion. In particular, the derived category of an idempotent complete exact category is idempotent complete.