Pues al final he logrado encontrar lo que necesitaba por google,
lo que se hace es, si se quiere quitar el espacio que ha quedado, y reindexar, se usa la función array_values():
Código PHP:
$tablas=array_values($tablas);
Sin embargo he leido en
www.php.net/array_values , en un comentario, que esto puede acabar con la memoria de PHP si el array es muy grande, porque duplica el array y luego elimina el malo.
Si alguien conoce alguna manera de hacer lo mismo pero sin correr este riesgo que lo diga. Lo agradeceré!
Saludos,