Which template holds what to display when search returns nothing

get_template_part( 'content', 'none' ); will look for:

  1. content-none.php
  2. content.php

Twenty Thirteen does have content-none.php.

In general this is organized in such way to support dynamic lookups where first two-part template might or might not exist and fallback to more generic template, if necessary.